Christian Herde: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Influence of Satellite Groups on Telechelic Antimicrobial Functions of Polyoxazolines

Christian J. Waschinski, Vera Herdes, Fabian Schueler, Joerg C. Tiller

Journal:

Macromolecular Bioscience

Year:

2005

Language:

english

File:

PDF, 261 KB

english, 2005

2

Efficient Proof Engines for Bounded Model Checking of Hybrid Systems

Martin Fränzle, Christian Herde

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 460 KB

english, 2005

3

HySAT: An efficient proof engine for bounded model checking of hybrid systems

Martin Fränzle, Christian Herde

Journal:

Formal Methods in System Design

Year:

2007

Language:

english

File:

PDF, 622 KB

english, 2007

4

Connexin 43 expression of foreign body giant cells after implantation of nanoparticulate hydroxyapatite

Katja Herde, Sonja Hartmann, Ralph Brehm, Olaf Kilian, Christian Heiss, Anne Hild, Volker Alt, Martin Bergmann, Reinhard Schnettler, Sabine Wenisch

Journal:

Year:

2007

Language:

english

File:

PDF, 2.55 MB

english, 2007

5

A small recurrent deletion within 15q13.3 is associated with a range of neurodevelopmental phenotypes

Shinawi, Marwan, Schaaf, Christian P, Bhatt, Samarth S, Xia, Zhilian, Patel, Ankita, Cheung, Sau Wai, Lanpher, Brendan, Nagl, Sandra, Herding, Heinrich Stephan, Nevinny-Stickel, Claudia

Journal:

Nature Genetics

Year:

2009

Language:

english

File:

PDF, 399 KB

english, 2009

6

Human reaming debris: a source of multipotent stem cells

Sabine Wenisch, Katja Trinkaus, Anne Hild, Dirk Hose, Katja Herde, Christian Heiss, Olaf Kilian, Volker Alt, Reinhard Schnettler

Journal:

Year:

2005

Language:

english

File:

PDF, 572 KB

english, 2005

7

Integrating theories of motor sequencing in the SAL hybrid architecture

Herd, Seth, Szabados, Andrew, Vinokurov, Yury, Lebiere, Christian, Cline, Ashley, O’Reilly, Randall C.

Journal:

Biologically Inspired Cognitive Architectures

Year:

2014

Language:

english

File:

PDF, 871 KB

english, 2014

8

Water-Soluble Phosphines. 17. 1 Novel Water-Soluble Secondary and Tertiary Phosphines with Disulfonated 1,1‘-Biphenyl Backbones and Dibenzophosphole Moieties §

Herd, Oliver, Hoff, Dietmar, Kottsieper, Konstantin W., Liek, Christian, Wenz, Kirsten, Stelzer, Othmar, Sheldrick, William S.

Journal:

Inorganic Chemistry

Year:

2002

Language:

english

File:

PDF, 182 KB

english, 2002

9

[IEEE 2007 IEEE Design and Diagnostics of Electronic Circuits and Systems - Krakow, Poland (2007.04.11-2007.04.13)] 2007 IEEE Design and Diagnostics of Electronic Circuits and Systems - On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata

Herbstritt, Marc, Becker, Bernd, Abraham, Erika, Herde, Christian

Year:

2007

Language:

english

File:

PDF, 718 KB

english, 2007

10

[IEEE 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06) - Rio de Janiero, Brazil (2006.12.5-2006.12.8)] 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06) - RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures

Metzner, Alexander, Herde, Christian

Year:

2006

Language:

english

File:

PDF, 326 KB

english, 2006

11

[IEEE 2008 Third International Conference on Systems ICONS - Cancun, Mexico (2008.04.13-2008.04.18)] Third International Conference on Systems (icons 2008) - Analysis of Hybrid Systems Using HySAT

Herde, Christian, Eggers, Andreas, Fr, Martin, Teige, Tino

Year:

2008

Language:

english

File:

PDF, 281 KB

english, 2008

12

Herbivore-induced and floral homoterpene volatiles are biosynthesized by a single P450 enzyme (CYP82G1) in Arabidopsis

Sungbeom Lee, Somayesadat Badieyan, David R. Bevan, Marco Herde, Christiane Gatz, Dorothea Tholl and May R. Berenbaum

Journal:

Proceedings of the National Academy of Sciences

Year:

2010

Language:

english

File:

PDF, 1.24 MB

english, 2010

13

Astrocyte uncoupling as a cause of human temporal lobe epilepsy

Bedner, Peter, Dupper, Alexander, Hüttmann, Kerstin, Müller, Julia, Herde, Michel K., Dublin, Pavel, Deshpande, Tushar, Schramm, Johannes, Häussler, Ute, Haas, Carola A., Henneberger, Christian, Theis

Journal:

Year:

2015

Language:

english

File:

PDF, 1.14 MB

english, 2015

14

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure ||

Herde, Christian

Year:

2011

Language:

english

File:

PDF, 1.18 MB

english, 2011

15

[AIP NUMERICAL ANALYSIS AND APPLIED MATHEMATICS: International Conference on Numerical Analysis and Applied Mathematics 2009: Volume 1 and Volume 2 - Rethymno, Crete (Greece) (18–22 September 2009)] AIP Conference Proceedings - Application of Constraint Solving and ODE-Enclosure Methods to the Analysis of Hybrid Systems

Eggers, Andreas, Fränzle, Martin, Herde, Christian, Simos, Theodore E., Psihoyios, George, Tsitouras, Ch.

Year:

2009

Language:

english

File:

PDF, 832 KB

english, 2009

16

Oxygen-Driven Porous Film Formation of Single-Crystalline Ru Deposited on Au(111)

Herd, Benjamin, Langsdorf, Daniel, Sack, Christian, He, Yunbin, Over, Herbert

Journal:

Year:

2016

Language:

english

File:

PDF, 1.66 MB

english, 2016

17

Identification and Regulation of TPS04/GES, an Arabidopsis Geranyllinalool Synthase Catalyzing the First Step in the Formation of the Insect-Induced Volatile$\text{C}_{16}$-Homoterpene TMTT

Marco Herde, Katrin Gärtner, Tobias G. Köllner, Benjamin Fode, Wilhelm Boland, Jonathan Gershenzon, Christiane Gatz and Dorothea Tholl

Journal:

Year:

2008

Language:

english

File:

PDF, 3.19 MB

english, 2008

18

Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction

Whitfield, Jason H., Zhang, William H., Herde, Michel K., Clifton, Ben E., Radziejewski, Johanna, Janovjak, Harald, Henneberger, Christian, Jackson, Colin J.

Journal:

Protein Science

Year:

2015

Language:

english

File:

PDF, 2.71 MB

english, 2015

19

Control of astrocyte morphology by Rho GTPases

Zeug, Andre, Müller, Franziska E., Anders, Stefanie, Herde, Michel K., Minge, Daniel, Ponimaskin, Evgeni, Henneberger, Christian

Journal:

Brain Research Bulletin

Year:

2017

Language:

english

File:

PDF, 530 KB

english, 2017

20

Subcellular reorganization and altered phosphorylation of the astrocytic gap junction protein connexin43 in human and experimental temporal lobe epilepsy

Deshpande, Tushar, Li, Tingsong, Herde, Michel K., Becker, Albert, Vatter, Hartmut, Schwarz, Martin K., Henneberger, Christian, Steinhäuser, Christian, Bedner, Peter

Journal:

Year:

2017

Language:

english

File:

PDF, 1.59 MB

english, 2017

21

LTP Induction Boosts Glutamate Spillover by Driving Withdrawal of Perisynaptic Astroglia

Henneberger, Christian, Bard, Lucie, Panatier, Aude, Reynolds, James P., Kopach, Olga, Medvedev, Nikolay I., Minge, Daniel, Herde, Michel K., Anders, Stefanie, Kraev, Igor, Heller, Janosch P., Rama, S

Journal:

Year:

2020

File:

PDF, 7.06 MB

2020

22

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure1

FrÃ¤nzle, Martin, Herde, Christian, Teige, Tino, Ratschan, Stefan, Schubert, Tobias, Hamadi, Youssef, Bordeaux, Lucas

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2007

File:

PDF, 441 KB

2007